4

A model advisor for NuSMV specifications

Year:
2011
Language:
english
File:
PDF, 224 KB
english, 2011
14

A semantic framework for metamodel-based languages

Year:
2009
Language:
english
File:
PDF, 888 KB
english, 2009
23

Acoustic detection

Year:
2008
Language:
english
File:
PDF, 960 KB
english, 2008
40

On formalizing UML state machines using ASMs

Year:
2004
Language:
english
File:
PDF, 114 KB
english, 2004
44

Investigation of strained Si/SiGe devices by MC simulation

Year:
2004
Language:
english
File:
PDF, 433 KB
english, 2004
46

Monitoring performance in distributed systems

Year:
1996
Language:
english
File:
PDF, 1.99 MB
english, 1996